Algebraic proof theory: Hypersequents and hypercompletions
نویسندگان
چکیده
منابع مشابه
Algebraic proof theory: Hypersequents and hypercompletions
Article history: Received 9 June 2014 Received in revised form 31 January 2016 Accepted 14 October 2016 Available online xxxx MSC: 03B47 03G10 03F05
متن کاملThe Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics
Until not too many years ago, all logics except classical logic (and, perhaps, intuitionis-tic logic too) were considered to be things esoteric. Today this state of aaairs seems to have completely been changed. There is a growing interest in many types of nonclassical logics: modal and temporal logics, substructural logics, paraconsistent logics, non-monotonic logics { the list is long. The div...
متن کاملCasl - The Common Algebraic Specification Language: Semantics and Proof Theory
Casl is an expressive specification language that has been designed to supersede many existing algebraic specification languages and provide a standard. Casl consists of several layers, including basic (unstructured) specifications, structured specifications and architectural specifications (the latter are used to prescribe the structure of implementations). We describe an simplified version of...
متن کاملAlgebraic proof theory for substructural logics: Cut-elimination and completions
We carry out a unified investigation of two prominent topics in proof theory and order algebra: cut-elimination and completion, in the setting of substructural logics and residuated lattices. We introduce the substructural hierarchy — a new classification of logical axioms (algebraic equations) over full Lambek calculus FL, and show that a stronger form of cutelimination for extensions of FL an...
متن کاملHypersequents and Fuzzy Logic
Fuzzy logics based on t-norms and their residua have been investigated extensively from a semantic perspective but a unifying proof theory for these logics has, until recently, been lacking. In this paper we survey results of the authors and others which show that a suitable proof-theoretic framework for fuzzy logics is provided by hypersequents, a natural generalization of Gentzen-style sequen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2017
ISSN: 0168-0072
DOI: 10.1016/j.apal.2016.10.012